8

On the decidability and complexity of reasoning about only knowing

Year:
2000
Language:
english
File:
PDF, 205 KB
english, 2000
9

Minimal Belief and Negation as Failure in Multi-Agent Systems

Year:
2003
Language:
english
File:
PDF, 203 KB
english, 2003
21

A comprehensive semantic framework for data integration systems

Year:
2005
Language:
english
File:
PDF, 188 KB
english, 2005
26

Multi-modal nonmonotonic logics of minimal knowledge

Year:
2006
Language:
english
File:
PDF, 529 KB
english, 2006
38

Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics

Year:
1999
Language:
english
File:
PDF, 103 KB
english, 1999
39

A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most

Year:
2001
Language:
english
File:
PDF, 244 KB
english, 2001